
void notifyper32ms(void);
uint8_t getEvent(void);
uint16_t getEvent16(void);
void clrEvent(uint8_t bitmask);
void clrEvent16(uint16_t bitmask);
int8_t getRandom7(void);